无码国产精品一区二区免费16,夫妇交换做爰4,97SE亚洲精品一区,小说区 图片区色 综合区

當(dāng)前位置: 在線翻譯 > 英語翻譯 > logic language
ONOFF
劃詞翻譯
導(dǎo)航
建議反饋
詞典App

logic language中文是什么意思

  • 邏輯語言

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

  • 例句與用法
  • Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
    首先,在論文中用一階邏輯語言建立可信平臺(tái)模塊api的形式化模型,然后對(duì)建立的形式化模型進(jìn)行邏輯推理分析。
  • The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
    界限主體的確立,既解決了主體的“體”帶來的一系列問題,同時(shí)又為主體在邏輯語言的層面上找到了一種合理的存在形式。
  • In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
    在本文中,作者主要介紹了用于分析密碼協(xié)議的三種邏輯語言,研究了它們的優(yōu)缺點(diǎn),然后結(jié)合其優(yōu)點(diǎn),提出了一種新的用于分析電子商務(wù)協(xié)議的形式化邏輯語言。
  • ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
    ( 2 )為驗(yàn)證算法的有效性,該文設(shè)計(jì)實(shí)現(xiàn)了一個(gè)測(cè)試平臺(tái)? ?基于sqlserver的規(guī)則處理器,其主要功能為自動(dòng)把一階邏輯規(guī)則轉(zhuǎn)換為含有sql語句的過程代碼,這使得sqlserver數(shù)據(jù)庫管理系統(tǒng)有了用邏輯數(shù)據(jù)語言表示遞歸查詢的能力。
  • Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
    接著指出數(shù)學(xué)語言是進(jìn)行數(shù)學(xué)交流活動(dòng)的重要工具,參考前人的成果,對(duì)數(shù)學(xué)語言重新進(jìn)行分類,可分為:文字語言,符號(hào)語言,圖形語言,圖表語言,邏輯語言。
  • We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
    由于構(gòu)件可能具有不同的抽象層次和粒度,我們采用了時(shí)序邏輯語言xyz e作為構(gòu)件描述語言,這種語言能夠描述構(gòu)件的靜態(tài)語義和動(dòng)態(tài)執(zhí)行,并且能在不同抽象層次上對(duì)系統(tǒng)進(jìn)行形式化描述。
  • We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules
    從數(shù)據(jù)挖掘的角度考慮對(duì)象排序問題,通過引進(jìn)屬性值上的有序關(guān)系,作者擴(kuò)充了常見的屬性值方法,提出了有序信息表的形式化概念,進(jìn)而提出了一個(gè)有序信息表上的數(shù)據(jù)分析方法,通過分析有序信息表中的屬性依賴,定義了有序信息表的約簡(jiǎn)集和核的概念;作者還提出和形式化了有序信息表中挖掘有序規(guī)則的問題,設(shè)計(jì)了有序決策邏輯語言( odl ) ,并給出了一個(gè)挖掘有序規(guī)則的方法。
  • 推薦英語閱讀
logic language的中文翻譯,logic language是什么意思,怎么用漢語翻譯logic language,logic language的中文意思,logic language的中文logic language in Chineselogic language的中文logic language怎么讀,發(fā)音,例句,用法和解釋由查查在線詞典提供,版權(quán)所有違者必究。

說出您的建議或使用心得

主站蜘蛛池模板: 阿城市| 宝鸡市| 尚义县| 沈阳市| 顺义区| 张北县| 亚东县| 财经| 夏津县| 拉萨市| 忻城县| 兴安县| 拉孜县| 吉水县| 安远县| 泰和县| 高陵县| 盱眙县| 安龙县| 城固县| 从江县| 彰化县| 涞源县| 绥滨县| 隆化县| 万源市| 融水| 金坛市| 孟村| 耿马| 襄汾县| 甘南县| 彩票| 清涧县| 浦北县| 彰武县| 合水县| 昌江| 木兰县| 临高县| 阳城县|